|
|
Překladač jazyka VHDL pro potřeby formální verifikace
Matyáš, Jiří ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat překladač, který umožňuje převod popisu hardware z jazyka VHDL do grafové reprezentace v jazyce VAM (Variable Assignment Language). Program je určen pro potřeby formální verifikace výzkumné skupiny VeriFIT Fakulty informačních technologií VUT Brno. Důvodem vypracování této práce je poskytnutí možnosti formálně verifikovat návrh hardware s využitím vysokoúrovňových návrhových jazyků, jakým je například jazyk VHDL.
|
|
|
Vliv činnosti armády na sukcesi společenstev terestrických členovců v CHKO Brdy
Palivcová, Lucie ; Tropek, Robert (vedoucí práce) ; Knapp, Michal (oponent)
Cílem této práce bylo zjistit, jak se v závislosti na intenzitě vojenských disturbancí mění počet druhů, ochranářská hodnota a složení společenstev vybraných skupin blanokřídlých v CHKO Brdy. Na bývalých dopadových plochách Jordán a Tok se dlouhodobým působením vojenských disturbancí vytvořila heterogenní mozaika stanovišť od silně disturbovaných ploch s řídkou vegetací, přes různě zapojené porosty vřesu a brusnic se solitérními dřevinami na středně disturbovaných plochách, až po světlé lesy na dlouhodobě málo narušovaných plochách. Na základě rekonstrukce historie byly obě plochy rozděleny do 4 kategorií s různou intenzitou disturbancí. Bezobratlé živočichy jsem standardizovaně sbírala na 24 studijních plochách (3 plochy pro každou kategorii disturbancí na každé dopadové ploše) ve létě 2017 pomocí zemních pastí, žlutých misek a světelných lapačů. Intenzita disturbancí pozitivně ovlivnila druhovou bohatost žahadlových blanokřídlých, dále měla příznivý vliv na ochranářskou hodnotu pavouků, brouků a ploštic. Na druhovou bohatost nočních motýlů měla intenzivní disturbance negativní vliv. Míra disturbance ovlivnila složení společenstev pavouků, nočních motýlů, brouků, blanokřídlého a rovnokřídlého hmyzu. Dále byl zaznamenán převážně pozitivní vliv narušování na výskyt ohrožených druhů bezobratlých....
|
|
|
Překladač jazyka VHDL pro potřeby formální verifikace
Matyáš, Jiří ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat překladač, který umožňuje převod popisu hardware z jazyka VHDL do grafové reprezentace v jazyce VAM (Variable Assignment Language). Program je určen pro potřeby formální verifikace výzkumné skupiny VeriFIT Fakulty informačních technologií VUT Brno. Důvodem vypracování této práce je poskytnutí možnosti formálně verifikovat návrh hardware s využitím vysokoúrovňových návrhových jazyků, jakým je například jazyk VHDL.
|
|
|
Hodnocení efektivnosti vybraného investičního projektu
MINARČÍKOVÁ, Jana
Ústředním tématem předkládané bakalářské práce je Hodnocení efektivnosti vybraného investičního projektu. Jejím hlavním cílem je vytvořit systém ekonomického hodnocení investice, který umožní zhodnotit efektivitu vybraného projektu. V praktické části se zabýváme investicí společnosti Ingersoll-Rand Equipment Manufacturing Czech Republic s.r.o. se sídlem v Kolíně. Zvolený investiční projekt byl představen a posléze zkoumán. Došlo k definování peněžního toku a poté výpočtu jednotlivých ukazatelů. Konkrétně se jednalo o dobu návratnosti investice, její čistou současnou hodnotu a vnitřní výnosové procento. Po realizaci výpočtů se investice ukázala jako nenávratná. Samotná realizace investice s sebou přináší odpisy, a proto byl proveden pokus uplatnění daňového štítu. Po zahrnutí vlivu daní do investice byl projet charakterizován jako efektivní. Musí se brát v úvahu, že uvedený daňový štít lze použít pouze v případě, pokud je podnik ziskový. Výkaz zisku a ztráty společnosti za rok 2012 uvádí, že podmínku zisku společnost splnila, tudíž variantu zahrnující vliv daní použít smí.
|
host ::
RSS.